

function to_note () {
    window.location = './note.html';
}

async function to_tools () {
    window.location = './tools.html';
}

